Towards Automated Requirements Checking Throughout Development Processes of Interactive Systems

نویسندگان

  • Thiago Rocha Silva
  • Marco Winckler
چکیده

The user-centered development process of interactive systems is iterative and, during multiple iterations, users have the opportunity to bring new requirements that are very likely to have an impact, not only in future development, but also affect previously developed artifacts. Manual testing of all artifacts when new requirements are introduced can be cumbersome and time consuming. For that, we need flexible methods to ensure continuous consistency and accuracy among the various artifacts employed to build interactive systems. The ultimate goal of this position paper is to briefly present our vision on an approach for automating the requirements assessment using a Behavior-Driven Development perspective. Thereby, automated tests can run early in the design process, providing a continuous quality assurance of requirements, and helping clients and teams to identify potential problems and inconsistencies before commitments with software implementation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems

Model checking is a formal technique for the automated analysis of system models against formal requirements. Once a suitable model and property have been specified, no further interaction by the analyst is required. However, this does not make the method necessarily user friendly since the checker must be provided with appropriate and complex input data. Furthermore, counter-examples generated...

متن کامل

Tool Based Integration of Requirements Modeling and Validation into Business Process Modeling

Business process models (BPM) are widely used for specification of software systems, as the basis for model driven software development. Hence, it is crucial to ensure that these BPMs fulfill the requirements they have to comply with. These requirements may originate from various domains. Many may be considered non-functional requirements. They are affecting privacy, security, as well as compli...

متن کامل

Automated Verification of Quantum Protocols by Equivalence Checking

Technologies based on Quantum Information Processing (QIP) are emerging rapidly in our life, from cryptography and communication to fast computation. The grand challenge in QIP is not only harnessing and controlling natural processes but is also about how we deploy QIP to solve our problems. This is where conceptual errors in designing QIP protocols may arise. This is because the correctness of...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

Towards Enhanced Automated Support for Collaborative Software Requirements Management

The development of information systems is not merely a difficult technological challenge, but is also a complex social process within which the effectiveness of communication between stakeholders is vital to a successful outcome. In particular, the communication of software requirements is extremely problematic. This paper is founded on the proposition that, because the System Requirements Spec...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016